Nuprl Definition : ma-k
0,22
postcript
pdf
M
.kind == Kind(1of(2of(
M
)))
latex
Definitions
Kind(
da
)
,
1of(
t
)
,
2of(
t
)
FDL editor aliases
ma-k
origin